منابع مشابه
Computational Theories { a First Attempt
In this note we report on some shortcomings in the current theory structures of the mega database. With the present approach of statically deening axioms and signatures inside theories the usefulness of the database for concrete computations will be very limited. We give examples to point out the particular problems and present the rst ideas of a way to overcome them.
متن کاملComputational Neuroscience Grand Challenges - A Humble Attempt at Future Forecast
Computational Neuroscience is a still nascent field, aspiring to imitate the great success of theoretical physics. The crucial advance of theoretical physics that transformed our understanding of the material world around us beyond recognition was the demonstration that various physical processes, no matter how complicated and rich they may appear to an observer, are governed by a well-defined ...
متن کاملMind the gap: an attempt to bridge computational and neuroscientific approaches to study creativity
Creativity is the hallmark of human cognition and is behind every innovation, scientific discovery, piece of music, artwork, and idea that have shaped our lives, from ancient times till today. Yet scientific understanding of creative processes is quite limited, mostly due to the traditional belief that considers creativity as a mysterious puzzle, a paradox, defying empirical enquiry. Recently, ...
متن کاملEntropy Theory: an Effective Tool of Improving the Computational Translation
Elimination of the ambiguity is the key to the computational translation. In order to find an effective way to improve the accuracy of the computational translation, the cross entropy was introduced. After the analysis of the reasons of the low accuracy, the information entropy was introduced into the disambiguation. The practice of ambiguity elimination shows the method has high accuracy and t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Mathematical Modelling
سال: 2009
ISSN: 0307-904X
DOI: 10.1016/j.apm.2009.01.013